56 results
Contributors
-
-
- Book:
- Parasite Diversity and Diversification
- Published online:
- 05 March 2015
- Print publication:
- 26 February 2015, pp viii-xii
-
- Chapter
- Export citation
Why infest the loved ones – inherent human behaviour indicates former mutualism with head lice
-
- Journal:
- Parasitology / Volume 139 / Issue 6 / May 2012
- Published online by Cambridge University Press:
- 06 February 2012, pp. 696-700
-
- Article
- Export citation
M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 (für 1967, veröff. 1968), S. 505–508.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 591
- Print publication:
- December 1970
-
- Article
- Export citation
Reviews - Andrzej Grzegorczyk. Fonctions récursives. Collection de logique mathématique, série A, Nr. 17. Gauthier-Villars, Paris, und E. Nauwelaerts, Louvain, 1961, 100 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-483
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 (1962), S. 101–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-389
- Print publication:
- September 1965
-
- Article
- Export citation
Paul Axt. Enumeration and the Grzegorczyk hierarchy. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 9 (1963), S. 53–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- March 1965
-
- Article
- Export citation
Paul Axt. Note on the 3-recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 7 (1961), S. 97–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- December 1964
-
- Article
- Export citation
W. W. Tait. Nested recursion. Mathematische Annalen, Bd. 143 (1961), S. 236–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1963
-
- Article
- Export citation
Paul Axt. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 (1959), S. 85–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
- Print publication:
- June 1960
-
- Article
- Export citation
R. L. Goodstein. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 (1954), S. 247–261.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
- Print publication:
- September 1959
-
- Article
- Export citation
Th. Skolem. A version of the proof of equivalence between complete induction and the uniqueness of primitive recursion. Det Kongelige Norske Videnskabers Selskabs, ForhandUnger, Bd. 29 Heft 3 (1956), S. 10–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1959
-
- Article
- Export citation
Julia Robinson. A note on primitive recursive functions. Ebd., S. 667–670.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
- Print publication:
- December 1957
-
- Article
- Export citation
Raphael M. Robinson. Primitive recursive functions. II. Proceedings of the American Mathematical Society, Bd. 6 (1955), S. 663–666.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
- Print publication:
- December 1957
-
- Article
- Export citation
A. Janiczak. Some remarks on partially recursive functions. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Ebd., S. 37–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- March 1956
-
- Article
- Export citation
A. Janiczak. On the reducibility of decision problems. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Colloquium mathematicum, Bd. 3 Heft 1 (1954), S. 33–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1956
-
- Article
- Export citation
László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, S. 163–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
- Print publication:
- March 1955
-
- Article
- Export citation
Andrzej Grzegorczyk. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau1953, 46 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
- Print publication:
- March 1955
-
- Article
- Export citation
A. Mostowski. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 (1953), S. 277–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- December 1954
-
- Article
- Export citation
Ilona Bereczki. Nem elemi rekurzív függvény létezése (Existenz einer nichtelementaren rekursiven Funktion). Ungarisch, mit deutschem Auszug, und kurzem russischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2 – Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathémetique János Bolyai, Budapest1952, S. 409–417.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- December 1954
-
- Article
- Export citation
H. G. Rice. Classes of recursively enumerable sets and their decision problems. Transactions of the American Mathematical Society, vol. 74 (1953) pp. 358–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- June 1954
-
- Article
- Export citation